Nuprl Definition : fifoDecodes 11,40
ff.Decodes == let C,T,S,R,codes,decodes,p = ff in decodes 
latex

Definitionslet a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g)
FDL editor aliasesfifoDecodes

origin